A practical synthesis of d,l-dibenzocyclooctadiene lignans, d,l-deoxyschizandrin, d,l-wuweizisu C, and their stereoisomers.
نویسندگان
چکیده
منابع مشابه
SPARQL-DL: SPARQL Query for OWL-DL
There are many query languages (QLs) that can be used to query RDF and OWL ontologies but neither type is satisfactory for querying OWL-DL ontologies. RDF-based QLs (RDQL, SeRQL, SPARQL) are harder to give a semantics w.r.t. OWL-DL and are more powerful than what OWL-DL reasoners can provide. DL-based QLs (DIG ask queries, nRQL) have clear semantics but are not powerful enough in the general ca...
متن کاملPellet: A practical OWL-DL reasoner
In this paper, we present a brief overview of Pellet: a complete OWL-DL reasoner with acceptable to very good performance, extensive iddleware, and a number of unique features. Pellet is the first sound and complete OWL-DL reasoner with extensive support for reasoning ith individuals (including nominal support and conjunctive query), user-defined datatypes, and debugging support for ontologies....
متن کاملExtending the 5S Digital Library (DL) Framework: From a Minimal DL towards a DL Reference Model
In this paper, we describe ongoing research in three DL projects that build upon a common foundation – the 5S DL framework. In each project, we extend the 5S framework to provide specifications for a particular type of DL service and/or system – finally, moving towards a DL reference model. In the first project, we are working on formalizing content-based image retrieval services in a DL. In th...
متن کاملDL-SR: a Lite DL with Expressive Rules: Preliminary Results
Simple conceptual graphs can be seen as a very basic description logic, allowing however for answering conjunctive queries. In the first part of this paper, we translate some results obtained for conceptual graph rules of form “if A then B” into an equivalent DL-based formalism. Then we show that, our algorithms can automatically decide in some cases whether a given DL has the FOL-reducibility ...
متن کاملDL-Lite: Practical Reasoning for Rich Dls
In this paper we study a DL rich enough to express UML class diagrams including ISA and disjointness between classes (but not covering constraints), typing of associations, and participation and functional cardinality constraints. For such a DL, which we call DL-Lite, we propose novel reasoning techniques for a variety of tasks, notably including query containment and query answering for conjun...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Chemical and Pharmaceutical Bulletin
سال: 1985
ISSN: 0009-2363,1347-5223
DOI: 10.1248/cpb.33.3599